Automating Boundary Filling in Cubical Type Theories
arxiv.org·2d
🔶Cubical Type Theory
SAT Requires Exhaustive Search
link.springer.com·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·2d
📝Concrete Syntax
How To Solve Every Programming Problem
blog.codeminer42.com·7h
📐Interval Arithmetic
Building and Aligning Comparable Corpora
arxiv.org·1d
📜Digital Philology
Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?
aymannadeem.com·10h·
Discuss: Hacker News
💻Programming languages
(BT) Diversity from (LC) Diversity
golem.ph.utexas.edu·1d
🧮Kolmogorov Complexity
Weeknotes #336 — Sleepy bones
andrewdoran.uk·4h
⭐Awesome lists
Show HN: Using DSPy to enrich a dataset of the Nobel laureate network
blog.kuzudb.com·2d·
Discuss: Hacker News
📊Citation Graphs
libsemigroups: C++ library for semigroups and monoids
github.com·1d·
Discuss: Hacker News, r/cpp
🧮Algebraic Datatypes
p-fast trie, but smaller
dotat.at·9h·
Discuss: Hacker News
🌳Trie Structures
A Beginner's Guide to Skyline Queries
hackernoon.com·1d
📏Range Queries
Why Computer Science Is No Good, Redux
cacm.acm.org·1d
🎯Performance Proofs
Data Overdose? Time for a Quadruple Shot: Knowledge Graph Construction using Enhanced Triple Extraction
arxiv.org·22h
🔍Information Retrieval
Qualifiers on Hypertext Links (1991)
w3.org·7h·
Discuss: Hacker News
🔗Hypertext Systems
Merge-based syntax is mediated by distinct neurocognitive mechanisms: A clustering analysis of comprehension abilities in 84,000 individuals with language defic...
arxiv.org·22h
🔤Morphological Analysis
NeuralMorse – Reinventing Morse Code with Neural Networks
masatohagiwara.net·1d·
Discuss: Hacker News
📝Text Compression
Build a Mini-FastAPI from Scratch: Learn ASGI & Routing Internals
dev.to·10h·
Discuss: DEV
⚡gRPC
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·3d·
Discuss: Hacker News
💧Liquid Types
Relative Completeness of Incorrectness Separation Logic
arxiv.org·1d
🧠Separation Logic